Rigid and finite type geometric structures

Rigid geometric structures on manifolds, introduced by Gromov, are characterized by the fact that their infinitesimal automorphisms are determined by their jets of a fixed order. Important examples of such structures are those given by an H-reduction of the first order frame bundle of a manifold, where the Lie algebra of H is of finite type; in fact, for structures given by reductions to closed subgroups of first order frame bundles, finite type implies rigidity. The goal of this paper is to generalize this to geometric structures defined by reductions of frame bundles of arbitrary order, and to give an algebraic characterization of the property of being rigid in terms of a suitable notion of finite type.